Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔐 Zero-Knowledge Proofs
ZK-SNARKs, Bulletproofs, Privacy, Verifiable Computation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2563
posts in
80.2
ms
Building "zero-gap"
secrets
for a
UGC
platform
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Hardness
of
hinted
ISIS from the space-time
hardness
of lattice problems
eprint.iacr.org
·
2d
📡
Side-Channel Attacks
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
Adaptive
Hashing
: Faster Hash Functions with Fewer
Collisions
arxiv.org
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Methods
Anonymous
Messaging Without
Compromise
encrogram.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
The Engagement Trap: 45
Adversarial
Patterns in Modern AI
Assistants
pastebin.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔒
Cryptography
qzxcvbn/Csa
: THE SOVEREIGN ACCESS CONSTANT (
CsaC
_{sa} Csa) A Universal Open Standard for Passwordless, Zero-Knowledge Internet & Device Authentication
github.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
First
Proof
arxiv.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📡
Side-Channel Attacks
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
2d
·
Discuss:
Hacker News
✅
Formal Methods
Fibonacci
number
certificates
johndcook.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
The
Trojan
horse
in your cluster: a deep dive into container image security
andreafortuna.org
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Deso-PK/make-trust-irrelevant
: Make trust irrelevant for agentic AI using
kernel-enforced
authority boundaries.
github.com
·
23h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Lessons from
securing
AI systems at runtime (agents,
MCPs
, LLMs)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Telling the Story of
Chameleon
Hash
Functions: A 27-Year Review
eprint.iacr.org
·
3d
🔒
Cryptography
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
5d
·
Discuss:
Hacker News
✅
Formal Methods
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🐛
Vulnerability Research
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help